Coordination Languages for Parallel Discrete Event Simulation
نویسندگان
چکیده
We investigate coordination languages as support for the implementation of parallel discrete event sim ulators In particular we show that the computational model provided by coordination languages and based on the shared space abstraction is a suitable environ ment for the implementation of a new event based methodology we call ActE Active Events ActE nat urally solves the state sharing problem and is able to fully exploit the causal concurrency among events We also outline features of an ideal coordination language with respect to parallel simulation
منابع مشابه
Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملSurvey of Languages and Runtime Libraries for Parallel Discrete-Event Simulation
To develop a parallel discrete event simulation from scratch requires in-depth knowledge of the mapping process from the physical model to the simulation model and also a substantial effort in coping with the numerous issues concerning the underlying synchronization protocols in use. Languages and libraries could reduce the development effort significantly by providing the user with a pre-built...
متن کاملIRVINE Out - of - order Parallel Discrete Event Simulation
OF THE DISSERTATION Out-of-order Parallel Discrete Event Simulation for Electronic System-Level Design By Weiwei Chen Doctor of Philosophy in Electrical and Computer Engineering University of California, Irvine, 2013 Professor Rainer Doemer, Chair The large size and complexity of the modern embedded systems pose great challenges to design and validation. At the so called electronic system level...
متن کامل